формальное доказательство соответствия программы ее спецификации

См. также в других словарях:

• Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

• Федеральный суд США — (USA Federal judiciary) Федеральный суд США это орган судебной власти США федерального уровня, созданный правительством для разрешения споров федерального уровня Федеральный суд США: федеральная судебная система США, кем назначаются судьи… …   Энциклопедия инвестора

• Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

• Российская Советская Федеративная Социалистическая Республика —         РСФСР.          I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… …   Большая советская энциклопедия

• политика — 2.22 политика (policy): Комплекс юридических, политических, организационных, функциональных и технических обязательств по обмену информацией и совместной деятельности. Источник: ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управлени …   Словарь-справочник терминов нормативно-технической документации

• Российская Советская Федеративная Социалистическая Республика, РСФСР (народное образование и культурно-просветительные учреждения) — VIII. Народное образование и культурно просветительные учреждения = История народного образования на территории РСФСР уходит в глубокую древность. В Киевской Руси элементарная грамотность была распространена среди разных слоев населения, о чём… …   Большая советская энциклопедия